翻訳と辞書
Words near each other
・ alf
・ alfl
・ algebra
・ algebra of communicating processes
・ algebraic
・ algebraic compiler and translator
・ algebraic data type
・ algebraic interpretive dialogue
・ algebraic logic functional language
・ algebraic manipulation package
algebraic specification language
・ algebraic structure
・ algol
・ algol 58
・ algol 60
・ algol 60 modified
・ algol 60 revised
・ algol 68
・ algol 68 revised
・ algol 68-r


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

algebraic specification language : FOLDOC
Algebraic Specification Language
1. (ASL)
["Structured Algebraic Specifications: A Kernel Language", M. Wirsing, Theor Comput Sci 42, pp.123-249, Elsevier 1986].
2. (ASF) A language for equational specification of abstract data types.
["Algebraic Specification", J.A. Bergstra et al, A-W 1989].
(1995-12-13)



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.